Moves Newsletter

Dear Reader, The MoVES project on Modelling, Verification and Evolution of Software is sponsored by the Belgian government with its “Interuniversity Attraction Poles” (IAP) Programme which aims at providing support for teams of excellence in basic research that belong to Belgium’s various (linguistic) Communities. These teams work as part of a network in order to increase their joint contribution to general scientific advances and, where applicable, to international scientific networks. Since 1987 the IAP programme has been implemented in five year phases. The ongoing IAP phase-VI (2007-2011) contains 44 networks implicating 324 research teams (250 Belgian teams and 74 European partners) and spans a wide variety of research fields in the life sciences, exact and applied sciences and the human sciences. The impact of the IAP on basic research is considerable. The programme represents some 500 researchers (full-time-equivalents) paid with IAP funds and over 2 000 publications each year within the programme as a whole. At the time of this writing, we still do not know if the whole IAP programme will continue beyond 2011 or will simply be deleted. The Moves project combines the leading Belgian teams in software engineering and formal design and verification of software. This month, we focus on the work achieved so far inside package 5 on Refinement and Synthesis. It is also the opportunity to present related research that is conducted by the University of Brussels (ULB). This newsletter contains contributions by Ortiz et al. on distributed event clock automata, Combéfis et al. on human machine interaction interfaces, Doyen et al. on games with imperfect information, Kalyon et al. on distributed controller synthesis, Geeraerts et al. on timed games, Shirmohammadi et al. on objectives and winning strategy in stochastic games, and Filiot et al. on Acacia, a tool for LTL synthesis. Enjoy reading!